Trigeneration System: Visualization through Ternary Diagrams
نویسندگان
چکیده
منابع مشابه
Ternary Decision Diagrams: Survey
This paper surveys seven types of TDDs: General TDD, SOP TDD, ESOP TDD, AND TDD, prime TDD, EXOR TDD, and Kleene TDD. We give new de nitions for SOP TDDs and ESOP TDDs and introduce unifying terminology. After showing some theorems on complexities, we compare the sizes of these TDDs using benchmark functions. Finally, we review important works on TDDs.
متن کاملProlog Visualization System Using Logichart Diagrams
We have developed a Prolog visualization system that is intended to support Prolog programming education. The system uses Logichart diagrams to visualize Prolog programs. The Logichart diagram is designed to visualize the Prolog execution flow intelligibly and to enable users to easily correlate the Prolog clauses with its parts. The system has the following functions. (1) It visually traces Pr...
متن کاملTernary codes through ternary designs
It is known that under certain conditions the incidence matrix of a balanced incomplete block design (v, b, r, k, λ) gives a binary code of length b and size 2(v + 1). Here we investigate the conditions where a balanced ternary design gives a similar ternary code.
متن کاملLarge component diagrams visualization
Software applications applications can easily consist of hundreds or thousands of components and it is thus difficult to understand their structure. Diagram visualisation does not help much because of visual clutter caused by big amount of elements and connections, especially in the case of flat component models. This work sums up current state of the art tools and approaches in component diagr...
متن کاملArithmetic Ternary Decision Diagrams Applications and Complexity
In a binary decision diagram (BDD), a non-terminal node representing a function f = xf0_xf1 has two edges for f0 and f1. In the arithmetic ternary decision diagram (Arith TDD), each non-terminal node has three edges, where the third edge denotes f2 = f0 + f1, and + is an integer addition. The Arith TDD represents the extended weight function, an integer function showing the numbers of true mint...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Sciences
سال: 2014
ISSN: 1812-5654
DOI: 10.3923/jas.2014.1481.1484